A decomposition algorithm of Petri net utilizing index function
نویسندگان
چکیده
منابع مشابه
A decomposition algorithm of fuzzy Petri net using an index function and incidence matrix
As with Petri nets (PNs), the state space explosion has limited further studies of fuzzy Petri net (FPN), and with the rising scale of FPN, the algorithm complexity for related applications using FPN has also rapidly increased. To overcome this challenge, we propose a decomposition algorithm that includes a backwards search stage and forward strategy for further decomposition, one that divides ...
متن کاملSimplification of a Petri Net controller in industrial systems
This paper deals with the problem of forbidden states in discrete event systems modeled by Petri Net. To avoid the forbidden states, some constraints which are called Generalized Mutual Exclusion Constraints can be assigned to them. Enforcing these constraints on the system can be performed using control places. However, when the number of these constraints is large, a large number of control p...
متن کاملLanguage, Liveness and Fairness Invariant in Decomposition of Petri Net Based on the Index of Place
It is not easy to analyze the physical system with Petri net if the system is large-scaled and complex, mainly because the structure of the Petri net model is also complex. In order to overcome this difficulty, a decomposition method of Petri net based on an index function of places is introduced, with which a set of well-formed and structure-simple sub net systems can be obtained. For all the ...
متن کاملParallelisation of the Petri Net Unfolding Algorithm
In this paper, we first present theoretical results, helping to understand the unfolding algorithm presented in [5, 6]. We then propose a modification of this algorithm, which can be efficiently parallelised, and prove its correctness. We also present additional optimisations.
متن کاملRationality Validation Algorithm Based on Petri Net
In order to inspect the correctness of workflow during process design and avoid exceptions after processes run, this study provides rationality Validation Algorithm based on Petri Net. Firstly the study points out the necessity of rationality validation in workflow model, then analyzes all kinds of existing validation algorithm of workflow model rationality and emphatically describes a validati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Filomat
سال: 2020
ISSN: 0354-5180,2406-0933
DOI: 10.2298/fil2015085z